#include<stdio.h>

int main(){

   int month;
   while(scanf("%d",&month)){
       if(month==9999)
       {
           break;
       }
       switch(month){
           case 2:
           case 3:
           case 4:printf("spring");break;
           case 5:
           case 6:
           case 7:printf("summer");break;
           case 8:
           case 9:
           case 10:printf("autumn");break;
           case 1:
           case 11:
           case 12:printf("winter");break;
           default:printf("输入错误");
       }
   }
   return 0;
}